package rdp;

import systeme.AlgoGrapheRdp;


public class MyMain {

    public static void main(String[] args) throws Exception {
	String fichier ="simple.net";
	if (args.length == 1)
	    fichier = args[0];

	RdP rdp = new RdP(fichier);
	System.out.println(rdp);
	//
	AlgoGrapheRdp algo =new AlgoGrapheRdp(rdp);
	for(int t=0; t<rdp.transition.length;t++){
		if(algo.estFranchissable(rdp.marquage,t)){
			System.out.println(rdp.transition[t]+" est franchissable");
		}
	}
    }
}
